Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis
نویسنده
چکیده
Following a review of metric, ultrametric and generalized ultrametric, we review their application in data analysis. We show how they allow us to explore both geometry and topology of information, starting with measured data. Some themes are then developed based on the use of metric, ultrametric and generalized ultrametric in logic. In particular we study approximation chains in an ultrametric or generalized ultrametric context. Our aim in this work is to extend the scope of data analysis by facilitating reasoning based on the data analysis; and to show how quantitative and qualitative data analysis can be incorporated into logic programming.
منابع مشابه
Generalized hyperstability of the cubic functional equation in ultrametric spaces
In this paper, we present the generalized hyperstability results of cubic functional equation in ultrametric Banach spaces using the fixed point method.
متن کاملVector ultrametric spaces and a fixed point theorem for correspondences
In this paper, vector ultrametric spaces are introduced and a fixed point theorem is given for correspondences. Our main result generalizes a known theorem in ordinary ultrametric spaces.
متن کاملGeneralized Ultrametric Semilattices of Linear Signals
We consider certain spaces of linear signals equipped with a standard prefix relation and a suitably defined generalized distance function. We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and prove a representation theorem stating that every generalized ultrametric semilattice with a totally ordered distance set is isomorphic to a space of th...
متن کاملThe Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices
We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and in which the meet operation of the semilattice coexists with a generalized distance function in a tightly coordinated way. We prove a constructive fixed-point theorem for strictly contracting functions on directed-complete generalized ultrametric semilattices, and introduce a corresponding i...
متن کاملExistentially equivalent cyclic ultrametric spaces and cyclically valued groups
The notions of ultrametric distances and cyclic valuations appear when the set of values of the distance map is a cyclically ordered set. These structures can be described as subspaces of cartesian products. In this paper we characterize existentially equivalence between cyclically ultrametric spaces, as well as existentially equivalence between generalized ultrametric spaces. We also describe ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1008.3585 شماره
صفحات -
تاریخ انتشار 2010